On Demand Parametric Array Dataflow Analysis
نویسندگان
چکیده
We present a novel approach for exact array dataflow anal-ysis in the presence of constructs that are not static affine.The approach is similar to that of fuzzy array dataflow anal-ysis in that it also introduces parameters that represent in-formation that is only available at run-time, but the pa-rameters have a different meaning and are analyzed beforethey are introduced. The approach was motivated by ourwork on process networks, but should be generally usefulsince fewer parameters are introduced on larger inputs. Weinclude some preliminary experimental results.
منابع مشابه
Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs
Scenario-aware dataflow (SADF) is a prominent tool for modeling and analysis of dynamic embedded dataflow applications. In SADF the application is represented as a finite collection of synchronous dataflow (SDF) graphs, each of which represents one possible application behaviour or scenario. A finite state machine (FSM) specifies the possible orders of scenario occurrences. The SADF model rende...
متن کامل- 1 - Demand Interprocedural Dataflow Analysis
An exhaustive dataflow analysis algorithm associates with each point in a program a set of “dataflow facts” that are guaranteed to hold whenever that point is reached during program execution. By contrast, a demand dataflow analysis algorithm determines whether a single given dataflow fact holds at a single given point. This paper presents a new demand algorithm for interprocedural dataflow ana...
متن کاملMatParser: An array dataflow analysis compiler
This paper presents the MatParser tool. MatParser is an array analysis compiler that automatically converts an affine nested loop program into a single assignment program. The nested loop programs may contain non-linear operators like div/mod/floor/ceil and stepsizes other than one. The focus of this article is on the software architecture used in MatParser to resolve the data dependencies. Fin...
متن کاملFADAlib: an open source C++ library for fuzzy array dataflow analysis
Ubiquitous multicore architectures require that many levels of parallelism have to be found in codes. Dependence analysis is the main approach in compilers for the detection of parallelism. It enables vectorisation and automatic parallelisation, among many other optimising transformations, and is therefore of crucial importance for optimising compilers. This paper presents new open source softw...
متن کاملComparison between Radial and Halbach Array PMLSM by Employing 2-D Electromagnetic Finite Element Analysis
The replacement of steam catapults with electromagnetic ones is becoming an overwhelming trend in aircraft launch systems. The Electromagnetic Aircraft Launch System (EMALS) offers significant benefits to the aircraft, ship, personnel, and operational capabilities. EMALS has such advantages as high thrust, good controllability, reusable, etc., as a launching motor, a double-side plate Permanent...
متن کامل